// SPDX-License-Identifier: GPL-2.0

#if defined(CONFIG_ARM64) && defined(CONFIG_MLX5_CORE_SUPPORT_STORAGE)
void mlx5_os_execute(void)
{
}
#endif
